$r$$\downarrow$+gp $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\mid$$r$$\mid$, =$_{b}$, $\leq_{b}$, +$r$, 0, {-}$r$$>$